منابع مشابه
Curry - Howard Correspondance
These notes are extracted from the rst version of the paper From Computation to Foundations: the-calculus and its webbed modelss. They nearly disappeared in the revised version of that paper, and we make them available separately. 0.1-calculus as a foundation for Programming Theory.-calculus came back to the front of the scene in the sixties with the development of Computer Science, under the i...
متن کاملBalthasar - Georges Sage
Baltasar-George Sage (1740-1824), a conflictive chemist and mining engineer, and one of the last supporters of the phlogiston theory and the old chemical nomenclature, carried on a large number of metallurgical researches, discovered hypophosphoric acid and solid potassium ferrocyanide. His most achievement was the foundation of the School of Mines of Paris. LIFE AND CAREER In his biography Bal...
متن کاملGeorges Cuvier (1769-1832)
Georges Cuvier [4], baptized Georges Jean-Léopold Nicolas-Frédéric Cuvier, was a professor of anatomy at the National Museum of Natural History in Paris, France, through the late eighteenth and early nineteenth centuries. Scholars recognize Cuvier as a founder of modern comparative anatomy, and as an important contributor to vertebrate paleontology and geology. Cuvier studied the form and funct...
متن کاملCorrespondance du P. Marin Mersenne
Correspondance du P. Marin Mersenne, ed. by PAUL TANNERY and CORNELIS DE WAARD, Volume III (1631-1633), 2nd ed., Paris, editions du Centre National de la Recherche Scientifique, 1969, pp. xiv, 660, illus., 120F. The correspondence of Mersenne (1588-1648) antedates and practically anticipates the monumental collections of scientific work given in the second part of the century in the Transaction...
متن کاملMadeleine Lemieux and Georges Bordage
Two approaches to the study of diagnostic thinking are compared, one mainly propositional, namely that of Pate1 and Groen (1986), the other mainly semantic, that of Lemieux and Bordage (1986). Pate1 and Groen analyzed the linear dimension of cardiologists’ discourses while solving a case of acute bacterial endocarditis, that is, the before and after propositional rules. A secondary analysis of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Revista de estudios histórico-jurídicos
سال: 2010
ISSN: 0716-5455
DOI: 10.4067/s0716-54552010000100033